Let be -algebras. Two star homomorphisms are said to be homotopic, in symbols if there exists a path of -homomorphisms such that is a continuous map from to for each , and .
We say that the path is point-wise continuous.
The -algebras and are Homotopy equivalent if there are -homomorphisms and such that and . In this case we say that is a homotopy between and .